منابع مشابه
2004 : Flash / No - Flash
In this paper, we formulate the problem of natural image matting as one of solving Poisson equations with the matte gradient field. Our approach, which we call Poisson matting, has the following advantages. First, the matte is directly reconstructed from a continuous matte gradient field by solving Poisson equations using boundary information from a user-supplied trimap. Second, by interactivel...
متن کاملمطالعه نشاننده های cr-epic و فضاهای cr-epic مطلق
مطابق معمول حلقه توابع پیوسته حقیقی مقدار روی فضای تیخونوف x را با c(x) نمایش می دهیم. اگر برای هر نشاننده ی توپولوژیکf : x?y نگاشت القایی ?:c(y)?c(x) اپی مورفیس در کاتگوری حلقه های جابجایی باشد. آنگاه فضای xرا فضایی cr-epic مطلق می نامند.فضا های تقریبا فشرده و p-فضاهای لیندلوف از ساده ترین این نوع فضاها می باشند.
EPiC Series in Computing
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2017. This year, three tools CORA, Flow* and Isabelle/HOL (in alphabetic order) participated. They are applied to solve the reacha...
متن کاملEPiC Series in Computing
Although clausal propositional proofs are significantly smaller compared to resolution proofs, their size on disk is still too large for several applications. In this paper we present several methods to compress clausal proofs. These methods are based on a two phase approach. The first phase consists of a light-weight compression algorithm that can easily be added to satisfiability solvers that...
متن کاملEPiC Series in Computing
We describe our initial experiments with several state-of-the-art automated theorem provers on the problems in Tarskian Geometry created by Beeson and Wos. In comparison to the manually-guided OTTER proofs by Beeson and Wos, we can solve a large number of problems fully automatically, in particular thanks to the recent large-theory reasoning methods.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ELK Asia Pacific Journal of Marketing and Retail Management
سال: 2015
ISSN: 2349-2317
DOI: 10.16962/eapjmrm/issn.2349-2317/2015/v6i2-03